- formal proofing
- формальное (математическое) доказательство
Англо-русский словарь по компьютерной безопасности. Академик.ру. 2011.
Англо-русский словарь по компьютерной безопасности. Академик.ру. 2011.
Business and Industry Review — ▪ 1999 Introduction Overview Annual Average Rates of Growth of Manufacturing Output, 1980 97, Table Pattern of Output, 1994 97, Table Index Numbers of Production, Employment, and Productivity in Manufacturing Industries, Table (For Annual… … Universalium
Great Commission church movement — Infobox Non profit Non profit name = Great Commission Churches Non profit type = Evangelical Christian Church Association founded date = 1965 with no official name 1970 as The Blitz Movement 1983 as Great Commission International 1989 as Great… … Wikipedia
Design management — is the business side of design. Design managers need to speak the language of the business and the language of design … Wikipedia
Chasys Draw IES — Developer(s) John Paul Chacha s Lab [1] Stable release 3.66.02 / 5 September 2011; 51 days ago (2011 09 05) Operating system … Wikipedia
Collaborative software — (also referred to as groupware) is computer software designed to help people involved in a common task achieve goals. One of the earliest definitions of “collaborative software” is, intentional group processes plus software to support them.… … Wikipedia
Passive solar building design — Elements of passive solar design, shown in a direct gain application … Wikipedia
Fox hunting — For other uses, see Fox hunting (disambiguation). Master of foxhounds leads the field from Powderham Castle in Devon, England, with the hounds in front. Fox hunting is an activity involving the tracking, chase, and sometimes killing of a fox,… … Wikipedia
Package testing — Military shipping container being drop tested Testing … Wikipedia
Proof — may refer to: * A rigorous, compelling argument ** Formal proof ** Mathematical proof ** Proof theory, a branch of mathematical logic that represents proofs as formal mathematical objects ** Logical argument ** Evidence (law), tested evidence or… … Wikipedia
Encyclopedia — This article is about the type of reference work. For other uses, see Encyclopedia (disambiguation). Brockhaus Enzyklopädie in 1902 An encyclopedia (also spelled encyclopaedia or encyclopædia) is a type of reference work, a compendium holding a… … Wikipedia
Jack Kemp — Infobox Officeholder name = Jack Kemp, Jr. imagesize = 200px small caption = order = 1996 Republican Vice Presidential nominee term start =August 16, 1996 term end =November 5, 1996 runningmate = Bob Dole opponent = Bill Clinton/Al Gore… … Wikipedia